countrary-to-fact conditional

Математика: условное высказывание, противоречащее факту